home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / oper_sys / oasis / oasisegs.lha / egs / tak.pl < prev    next >
Text File  |  1992-03-25  |  270b  |  11 lines
  1. /* Prolog version of tak benchmark */
  2.  
  3. main :- tak(24,16,8,X), write(X), nl.
  4.  
  5. tak(X,Y,Z,A) :- X =< Y, Z = A.
  6. tak(X,Y,Z,A) :- X > Y,
  7.         X1 is X - 1, tak(X1,Y,Z,A1),
  8.         Y1 is Y - 1, tak(Y1,Z,X,A2),
  9.         Z1 is Z - 1, tak(Z1,X,Y,A3),
  10.         tak(A1,A2,A3,A).
  11.